Nb3 Prove That Loser Queue Exist